Operational Definitions for System Requirements as the Basis of Design Automation

ions on the definitions The SARA structural model, not the graph model of behaviour, defines the abstractions and modularity of a system. The formal definitions presented in this section are only applicable to the lowest-level modules, which must have the precise behaviour defined. In the SARA design method, laying out the structural model of the system precedes the drawing of any behavioural graphs. This research also addresses how the structural model models the abstractions based on the system requirements, but the issue is out of the scope of this paper.